Papers with Code 아카이브
Formal Logic
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 0
- 평가표
- 1
- 보존된 평가 기록
- 1
논문
이 태스크와 하위 분야의 관련 논문입니다. 실제 성능 비교는 평가 결과에서 확인하세요.
On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts?
Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
Training Step-Level Reasoning Verifiers with Formal Verification Tools
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach
Building Knowledge Graphs Towards a Global Food Systems Datahub
Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs
Knowledge Integration Strategies in Autonomous Vehicle Prediction and Planning: A Comprehensive Survey
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs
From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning
Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic
Boosting Deductive Reasoning with Step Signals In RLHF
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
Autoformalization of Game Descriptions using Large Language Models
ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
Automated Theorem Provers Help Improve Large Language Model Reasoning
Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
Software Engineering Methods For AI-Driven Deductive Legal Reasoning
Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic
Inference of Abstraction for a Unified Account of Reasoning and Learning
Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data
SocraSynth: Multi-LLM Reasoning with Conditional Statistics
Formal Logic Enabled Personalized Federated Learning Through Property Inference
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic
Leveraging Large Language Models to Generate Answer Set Programs
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.