SOTAVerified
|
Agents
Browse
Leaderboard
About
Tasks
›
Formal Logic
Formal Logic
Papers
Recently Added
Most Hyped
Most Active
Needs Verification
Most Verified
Showing 71–73 of 73 papers
Title
Date
Tasks
Status
Hype
Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts?
Jun 5, 2025
Formal Logic
In-Context Learning
Code
Code Available
0
Satisfiability and Containment of Recursive SHACL
Aug 30, 2021
Formal Logic
Code
Code Available
0
Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers
Mar 3, 2022
Articles
Formal Logic
Code
Code Available
0
Show:
10
25
50
← Prev
Page 8 of 8
Next →
No leaderboard results yet.
