GHC: From Bug to Merge
🏢Jane Street Core
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
🧩Separation Logic
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·7h
🎨GADTs
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·1d
💎Refinement Types
Flag this post
Math anxiety and associative knowledge structure are entwined in psychology students but not in Large Language Models like GPT-3.5 and GPT-4o
arxiv.org·7h
➡️Category Theory
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·7h
🎯Hindley-Milner
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·7h
📦Module Systems
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·7h
📐Linear Algebra
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·7h
🔲Cellular Automata
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·3d
🧪Property-Based Testing
Flag this post
Loading...Loading more...