Automation via UEFI
💻QEMU
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·15h
🔢Algebraic Data Types
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🔄Reproducible Builds
Flag this post
We need to give LLMs human-like vision
📚Automata Learning
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⏱️Computational Complexity
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
📚Automata Learning
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·19h
🛡️seL4
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·19h
🕸️Graph Theory
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
Loading...Loading more...