Experiments with LLMs for converting language to logic
statement of authorship
Tanel Tammet, Priit Järv, Martin Verrev and Dirk Draheim
source
Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II
location of publication
Cham
publisher
year of publication
pages
p. 305 - 314
series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 14980
conference name, date
18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, 9-12 September 2024
conference location
Barcelona, Spain
ISSN
0302-9743
ISBN
978-303171169-5
notes
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
category (general)
Tammet, T., Järv, P., Verrev, M., Draheim, D. Experiments with LLMs for converting language to logic // Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II. Cham : Springer, 2024. p. 305 - 314. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 14980).