A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “symbolic reasoning”
2
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
LLM-guided semantic vtrees for SDD compilation: code and data
2026
Zenodo (CERN European Organization for Nuclear Research)
dataset
Computer Science
Logic, Reasoning, and Knowledge
Open access
Alexis de Colnet
,
Stefan Szeider
0
citations
LLM-guided semantic vtrees for SDD compilation: code and data
2026
Zenodo (CERN European Organization for Nuclear Research)
dataset
Computer Science
Logic, Reasoning, and Knowledge
Open access
Alexis de Colnet
,
Stefan Szeider
0
citations
2 results