• Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 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 https://www.webofscience.com/wos/woscc/full-record/WOS:001329993800024
• Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122280172&origin=inward&txGid=c7421d68f570c983320bb4fe98712567 https://www.webofscience.com/wos/woscc/full-record/WOS:001044544400016