Type Synthesis, Type Checking, Local Inference, Elaboration
8-bit Matrix Multiplication for transformers
habib.bearblog.dev·19h
APTO Releases Training Dataset to Enhance the Mathematical Reasoning Capabilities of Large Language Models (LLMs)
prnewswire.com·8h
Profit over Proxies: A Scalable Bayesian Decision Framework for Optimizing Multi-Variant Online Experiments
arxiv.org·21h
Mitigating Visual Hallucinations via Semantic Curriculum Preference Optimization in MLLMs
arxiv.org·21h
Agentic Exploration of Physics Models
arxiv.org·21h
Loading...Loading more...