<div class="csl-bib-body">
<div class="csl-entry">Szeider, S. (2025, May 3). <i>Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning</i> [Keynote Presentation]. 47th International Conference on Software Engineering (ICSE 2025), Ottawa, Canada. http://hdl.handle.net/20.500.12708/225757</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/225757
-
dc.description.abstract
Integrating Large Language Models (LLMs) with traditional solving techniques creates new synergies in automated reasoning. This talk explores both (i) how LLMs can enhance SAT and constraint solving through structural analysis and search guidance and (ii) how formal reasoning can help LLMs tackle hard reasoning and optimization problems. We will present case studies exploring the practical advances and future potential of combining neural and symbolic approaches in computational reasoning.
en
dc.language.iso
en
-
dc.subject
Large Language Models
en
dc.subject
SAT solving
en
dc.subject
constraint solving
en
dc.subject
optimization
en
dc.title
Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Keynote Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-01 - Forschungsbereich Algorithms and Complexity
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.author.orcid
0000-0001-8994-1656
-
tuw.event.name
47th International Conference on Software Engineering (ICSE 2025)
en
tuw.event.startdate
27-04-2025
-
tuw.event.enddate
03-05-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Ottawa
-
tuw.event.country
CA
-
tuw.event.presenter
Szeider, Stefan
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper not in proceedings
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-01 - Forschungsbereich Algorithms and Complexity
