Image de couverture de livre

A First-Order Logic-Based Alternative to Reward Models in RLHF

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jian, Chunjin, Zhu, Xinhua
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
par: Olivieri, Pierriccardo, et autres
Publié: (2026)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

Multitask Kernel-based Learning with First-Order Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2023)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
par: Lalwani, Abhinav, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
par: Queiroz, Luiz Fernando Paulino, et autres
Publié: (2026)

The Logical Expressiveness of Topological Neural Networks
par: Akbari, Amirreza, et autres
Publié: (2026)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

A Logical View of GNN-Style Computation and the Role of Activation Functions
par: Barceló, Pablo, et autres
Publié: (2025)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
par: Beirami, Hani, et autres
Publié: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
par: Tasse, Geraud Nangue, et autres
Publié: (2022)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
par: Murphy, William, et autres
Publié: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
par: Filho, Francisco Mateus Rocha, et autres
Publié: (2026)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
par: Sulc, Antonin
Publié: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
par: Gomes, Ronaldo, et autres
Publié: (2026)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

A Two-Watched Literal Scheme for First-Order Logic
par: Briefs, Yasmine, et autres
Publié: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
par: Sälzer, Marco, et autres
Publié: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Fusions of One-Variable First-Order Modal Logics
par: Kontchakov, Roman, et autres
Publié: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Expressive Temporal Specifications for Reward Monitoring
par: Adalat, Omar, et autres
Publié: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
par: Aditya, Dyuman, et autres
Publié: (2025)

Modal Logical Neural Networks
par: Sulc, Antonin
Publié: (2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
par: Joshi, Varad, et autres
Publié: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
par: Vehlken, Fabian, et autres
Publié: (2026)