#Formal Logic
Latest news articles tagged with "Formal Logic". Follow the timeline of events, related topics, and entities.
Articles (2)
-
🇺🇸 Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
[USA]
arXiv:2602.06227v1 Announce Type: new Abstract: In this work, we propose a novel framework for the logical specification of non-Markovian rewards in Markov Decision Processes (MDPs) with large state ...
Related: #Artificial Intelligence, #Reinforcement Learning -
🇺🇸 LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
[USA]
arXiv:2602.06533v1 Announce Type: new Abstract: Large language models have demonstrated notable performance across various logical reasoning benchmarks. However, it remains unclear which core logical...
Related: #Artificial Intelligence, #AI Evaluation