Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification
Proving That There Are 3 People In Sacramento With EXACTLY The Same Number Of Hairs On Their Heads
youtube.com·1d
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
arxiv.org·19h
A Bilevel Approach to Integrated Surgeon Scheduling and Surgery Planning solved via Branch-and-Price
arxiv.org·19h
LifeCLEF Plant Identification Task 2014
arxiv.org·19h
MARLIN: Multi-Agent Reinforcement Learning with Murmuration Intelligence and LLM Guidance for Reservoir Management
arxiv.org·19h
TokenSwap: Backdoor Attack on the Compositional Understanding of Large Vision-Language Models
arxiv.org·19h
Loading...Loading more...