Martin Verrev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | NeSy | Experiments with LLMs for Converting Language to Logic. | Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim |
| 2023 | CADE | An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). | Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim |
| 2022 | IC3K | Knowledge Integration for Commonsense Reasoning with Default Logic. | Priit Jrv, Tanel Tammet, Martin Verrev, Dirk Draheim |
| 2022 | ICLP | First Order Logic and Commonsense Reasoning: A Path Less Travelled. | Tanel Tammet, Dirk Draheim, Priit Jrv, Martin Verrev |
| 2022 | ISDA | Evaluation of Semantic Parsing Frameworks for Automated Knowledge Base Construction. | Martin Verrev |