My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Topographical sparse mapping: A training framework for deep learning models
📐Linear Algebra
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
λFunctional Programming
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·2d
📐Linear Algebra
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🔍CBMC
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
Towards Automated Petrography
arxiv.org·1d
🔲Cellular Automata
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·3h
🕸️Graph Theory
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
🩹Self-Healing Systems
Flag this post
Endowing GPT-4 with a Humanoid Body: Building the Bridge Between Off-the-Shelf VLMs and the Physical World
arxiv.org·1d
⚙️Compiler Design
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·2d
🎮Verification Games
Flag this post
Loading...Loading more...