Handbook of Satisfiability (2021)
λFunctional Programming
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·8h
λFunctional Programming
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·8h
λFunctional Programming
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·8h
⏱️Computational Complexity
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
🔢Numerical Methods
Flag this post
EVINGCA: Adaptive Graph Clustering with Evolving Neighborhood Statistics
arxiv.org·8h
🕸️Graph Theory
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·8h
📈Optimization
Flag this post
Math's New Muse: AI as a Reasoning Partner
🔢mathmemathics
Flag this post
Convergence analysis for a tree-based nonlinear reduced basis method
arxiv.org·8h
🔢Numerical Methods
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
📈Optimization
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
📈Optimization
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🌳Red-Black Trees
Flag this post
Autonomous Design Optimization of DNA Origami Nanostructures via Hybrid Genetic Algorithm and Molecular Dynamics Simulation
🕸️Graph Theory
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·8h
🕸️Graph Theory
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·8h
🔢Numerical Methods
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·8h
🔄Dynamic Programming
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
⏱️Computational Complexity
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·8h
🕸️Graph Theory
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·8h
🕸️Graph Theory
Flag this post
Loading...Loading more...