[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
๐ฌReverse Engineering
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
Energy Loss Functions for Physical Systems
arxiv.orgยท6h
๐Linear Algebra
Flag this post
Expertise and confidence explain how social influence evolves along intellective tasks
arxiv.orgยท6h
๐ธ๏ธGraph Theory
Flag this post
Decoding Kiroween
โ๏ธCompiler Design
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท1d
ฮปFunctional Programming
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.orgยท1d
๐Automata Learning
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.comยท1d
๐๏ธObservability
Flag this post
When Assurance Undermines Intelligence: The Efficiency Costs of Data Governance in AI-Enabled Labor Markets
arxiv.orgยท6h
๐ฒCellular Automata
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.orgยท1d
๐ฏHindley-Milner
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
๐Automata Learning
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.orgยท6h
๐Automata Learning
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท6h
๐Automata Learning
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐๏ธDune
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.orgยท6h
๐ซOCaml
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท1d
๐ฏHindley-Milner
Flag this post
To improve Rationality, create Situations
lesswrong.comยท1d
๐ฎVerification Games
Flag this post
Loading...Loading more...