Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization
Hashers (Murmur)
github.com·3d
Bringing Multi-Modal Multi-Task Federated Foundation Models to Education Domain: Prospects and Challenges
arxiv.org·2d
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.org·3d
Aligning LLMs for the Classroom with Knowledge-Based Retrieval -- A Comparative RAG Study
arxiv.org·2d
A vibe coding learning design to enhance EFL students' talking to, through, and about AI
arxiv.org·10h
Agents of Discovery
arxiv.org·1d
Loading...Loading more...