Experiments with LLMs for converting language to logic
autor
Tammet, Tanel
Järv, Priit
Verrev, Martin
Draheim, Dirk
vastutusandmed
Tanel Tammet, Priit Järv, Martin Verrev and Dirk Draheim
allikas
Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2024
leheküljed
p. 305 - 314
seeria-sari
Lecture notes in computer science ; 14980
konverentsi nimetus, aeg
18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, 9-12 September 2024
konverentsi toimumispaik
Barcelona, Spain
leitav
https://doi.org/10.1007/978-3-031-71170-1_24
märksõna
algoritmid
keelemudelid
tehisõpe
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85204913636&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-71170-1_24%29&sessionSearchId=45c919fe8ff54496e2ffa842f2ed2798&relpos=0
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001329993800024
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
modeling languages
semantics
computer circuits
ISSN
0302-9743
ISBN
978-303171169-5
märkused
Bibliogr.: 20 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
tarkvarateaduse instituut
keel
inglise