- SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
2025/08/31 by Yanxiao Zhao, Y. Li, Yaqian Li +16 · 1 citation
Computer Science · #Automated reasoning #Control (management) #Deductive reasoning #Logical consequence #Logical reasoning #Memorization #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Reinforcement learning #Task (project management) #Topic Modeling #cs.AI #cs.LG #cs.LO
- Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
2024/04/18 by Abhinav Lalwani, Tasha Kim, Lalwani, Abhinav +9 · 14 voices · 9 citations
Computer Science · #Artificial intelligence #Computer science #Economics #Fallacy #Formal Methods in Verification #Fuzzy Logic and Control Systems #History #Linguistics #Logic, Reasoning, and Knowledge #Logical consequence #Natural (archaeology) #Natural language processing #Order (exchange) #Philosophy #cs.AI #cs.CL #cs.LG #cs.LO
- Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4
2023/04/07 by Hanmeng Liu, Ruoxi Ning, Liu, Hanmeng +9 · 1 voice · 20 citations
Computer Science · #Artificial intelligence #Benchmark (surveying) #Computer science #Construct (python library) #Deductive reasoning #Inference #Logical consequence #Logical reasoning #Machine Learning and Data Classification #Natural Language Processing Techniques #Natural language #Natural language processing #Natural language understanding #Programming language #Topic Modeling #cs.AI #cs.CL
- Is Causal Reasoning Harder than Probabilistic Reasoning?
2021/11/27 by Milan Mossé, Mossé, Milan, Duligur Ibeling +3 · 3 citations
Arts and Humanities · Computer Science · Mathematics · #Artificial intelligence #Bayesian Modeling and Causal Inference #Computational Complexity (cs.CC) #Computer science #Conditional probability #Epistemology #FOS: Computer and information sciences #Inference #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logical consequence #Mathematics #Non-monotonic logic #Philosophy and History of Science #Possible world #Probabilistic argumentation #Probabilistic logic #Theoretical computer science
- LangPro: Natural Language Theorem Prover
2017/08/30 by Lasha Abzianidze, Abzianidze, Lasha · 1 voice · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Attribute grammar #Automated theorem proving #Calculus (dental) #Combinatory categorial grammar #Computer science #Epistemology #Gas meter prover #Logical consequence #Logical form #Mathematical proof #Mathematics #Natural Language Processing Techniques #Natural deduction #Natural language #Natural language processing #Parsing #Philosophy #Programming language #Proof theory #Property (philosophy) #Semantic Web and Ontologies #Set (abstract data type) #Topic Modeling #cs.CL
- On rules with existential variables: Walking the decidability line
2011/04/19 by Jean-François Baget, Michel Leclère, Marie-Laure Mugnier +2 · 19 citations
Computer Science · Mathematics · #Advanced Database Systems and Queries #Artificial intelligence #Backward chaining #Chaining #Class (philosophy) #Computer science #Decidability #Discrete mathematics #Expert system #Forward chaining #Logical consequence #Mathematics #Semantic Web and Ontologies #Theoretical computer science #Undecidable problem
- Hypertableau Reasoning for Description Logics
2009/10/28 by B. Motik, Boris Motik, Rob Shearer +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Biomedical Text Mining and Ontologies #Description logic #Formalism (music) #Knowledge base #Knowledge representation and reasoning #Logic, Reasoning, and Knowledge #Logical consequence #Non-monotonic logic #Pairwise comparison #Representation (politics) #Semantic Web and Ontologies #T-norm fuzzy logics #cs.AI #cs.LO
- Frege, Boolos, and Logical Objects
2004/02/01 by David J. Anderson, Edward N. Zalta · 2 citations
Computer Science · Mathematics · Psychology · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Algorithm #Coherence theory of truth #Comprehension #Computer science #Epistemology #Logical consequence #Mathematics #Philosophy #Philosophy and Theoretical Science #Pragmatic theory of truth #Programming language #Relation (database) #Truth table #Truth value
- New directions in the analysis and interactive elicitation of personal construct systems
1980/07/01 by Brian R. Gaines, Mildred L. G. Shaw, Mildred L.G. Shaw · 1 citation
Business, Management and Accounting · Mathematics · Psychology · #Artificial intelligence #Cognitive and psychological constructs research #Color perception and design #Computer science #Construct (python library) #Data science #Dialectic #Epistemology #Generalization #Grid #Hierarchy #Logical consequence #Mathematics #Negation #Ontology #Programming language #Psychology #Quality Function Deployment in Product Design #Relevance (law) #Repertory grid #Social psychology