Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2002.06544
Cited By
Exploring Neural Models for Parsing Natural Language into First-Order Logic
16 February 2020
Hrituraj Singh
Milan Aggarwal
Balaji Krishnamurthy
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Exploring Neural Models for Parsing Natural Language into First-Order Logic"
14 / 14 papers shown
Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression
Jingyu Peng
Xinjian Zhao
Nan Wang
Xiangyu Zhao
Jiatong Li
Kai Zhang
Qi Liu
Pengyue Jia
Kai Zhang
Xiangyu Zhao
316
9
0
18 May 2025
Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation
Jonathan Ben-Naim
Victor David
Anthony Hunter
287
3
0
16 Aug 2024
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
Abhinav Lalwani
Lovish Chopra
Christopher Hahn
Caroline Trippel
Zhijing Jin
Mrinmaya Sachan
LRM
410
1
0
18 Apr 2024
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
USENIX Security Symposium (USENIX Security), 2023
Abdullah Al Ishtiaq
Sarkar Snigdha Sarathi Das
Syed Md Mukit Rashid
Ali Ranjbar
Kai Tu
...
Zhezheng Song
Weixuan Wang
M. Akon
Rui Zhang
Syed Rafiul Hussain
180
26
0
06 Oct 2023
Augmented Reality for Maintenance Tasks with ChatGPT for Automated Text-to-Action
Journal of construction engineering and management (JCEM), 2023
Fang Xu
Trien N. Nguyen
Jing Du
238
29
0
07 Jul 2023
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Yuan Yang
Siheng Xiong
Ali Payani
Ehsan Shareghi
Faramarz Fekri
LRM
172
91
0
24 May 2023
Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning
International Workshop on Neural-Symbolic Learning and Reasoning (NeSy), 2023
Sofoklis Kyriakopoulos
Artur Garcez
NAI
LRM
192
0
0
03 May 2023
FOLIO: Natural Language Reasoning with First-Order Logic
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
Simeng Han
Hailey Schoelkopf
Yilun Zhao
Zhenting Qi
Martin Riddell
...
Yingbo Zhou
Caiming Xiong
Rex Ying
Arman Cohan
Dragomir R. Radev
ReLM
LRM
433
172
0
02 Sep 2022
Formal Specifications from Natural Language
Christopher Hahn
Frederik Schmitt
Julia J. Tillman
Niklas Metzger
Julian Siber
Bernd Finkbeiner
393
40
0
04 Jun 2022
A Survey on Artificial Intelligence for Source Code: A Dialogue Systems Perspective
Erfan Al-Hossami
Samira Shaikh
219
7
0
10 Feb 2022
Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding
Benedikt Wagner
Artur Garcez
NAI
220
8
0
22 Dec 2021
Neural Unification for Logic Reasoning over Natural Language
Gabriele Picco
Hoang Thanh Lam
M. Sbodio
Vanessa Lopez Garcia
NAI
LRM
196
15
0
17 Sep 2021
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text
Findings (Findings), 2021
Siyuan Wang
Wanjun Zhong
Duyu Tang
Zhongyu Wei
Zhihao Fan
Daxin Jiang
Ming Zhou
Nan Duan
NAI
373
88
0
08 May 2021
HySTER: A Hybrid Spatio-Temporal Event Reasoner
Théophile Sautory
Nuri Cingillioglu
A. Russo
NAI
207
4
0
17 Jan 2021
1
Page 1 of 1
