Type Synthesis, Type Checking, Local Inference, Elaboration
Ontological Engineering
joodaloop.com·1d
Issue 491
haskellweekly.news·5d
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·9h
Fin-Ally: Pioneering the Development of an Advanced, Commonsense-Embedded Conversational AI for Money Matters
arxiv.org·17h
TopoSPAM: Topology grounded Simulation Platform for morphogenesis and biological Active Matter
arxiv.org·17h
GeLoc3r: Enhancing Relative Camera Pose Regression with Geometric Consistency Regularization
arxiv.org·17h
Semantic Voting: A Self-Evaluation-Free Approach for Efficient LLM Self-Improvement on Unverifiable Open-ended Tasks
arxiv.org·17h
Loading...Loading more...