Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·3d
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·1d
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·1d
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·3d
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·2d
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
arxiv.org·2d
Loading...Loading more...