Awesome Reinforcement Learning
Papers
Topics
Trending
Leaderboards
Authors
Datasets
Learn
Ask AI
Map
Tools
Reading Packs
News
All sections
Browse
Papers
The full index, filterable and sortable.
Topics
The same papers grouped by subject tag.
Trending
What moved this week, and by how much.
Authors
Who publishes here, and who they publish with.
Map
The collection laid out by embedding similarity.
Compare
Leaderboards
Benchmark tables, with the paper behind each number.
Datasets
The datasets these papers train and evaluate on.
Tools
Code and libraries released alongside the papers.
Read
Learn
Ordered routes from background reading to current work.
Ask AI
Ask a question and get answers cited to these papers.
Videos
The most-watched talks and lectures in this field.
Reading Packs
Short curated sets built around one question.
Follow
News
Press and coverage tied back to the papers.
Blogs
Author and lab write-ups of their own work.
Newsletter
Email digest of what changed, on a schedule.
Research Radar
Paste an abstract, get matches across every collection.
Yours
Saved
Papers you bookmarked in this browser.
+ Add Paper
☾
☀
← all topics
overview
Mathematical Software
loading…
Ask AI
Awesome Mathematical Software — curated papers, datasets & benchmarks · Awesome Reinforcement Learning
← all topics
overview
Mathematical Software
13 papers tagged Mathematical Software — re-sort below
Papers
Trending (default)
Most cited
Newest first
A → Z by title
13 papers · trending (default)
numbers = heat
Tensor Network Kernel Machines: A JAX Framework for Machine Learning and Nonlinear System Identification
(2026)
Albert Saiapin et al.
4.81
A Fortran General-Purpose Transpiler: Proof of Concept
(2026)
Shivamshan Sivanesan et al.
2.00
Binary Matrix Guessing Problem
(2017)
\c{C}a\u{g}r{\i} Latifo\u{g}lu
—
Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving
(2017)
Andrea Callia D'Iddio and Michael Huth
—
Global Model Interpretation via Recursive Partitioning
(2018)
Chengliang Yang et al.
—
Deep Neural Decision Trees
(2018)
Yongxin Yang and Irene Garcia Morillo and Timothy M. Hospedales
—
Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP
(2018)
Marcelo O. R. Prates et al.
—
Learning to Project in Multi-Objective Binary Linear Programming
(2019)
Alvaro Sierra-Altamiranda et al.
—
Accelerating Primal Solution Findings for Mixed Integer Programs Based on Solution Prediction
(2019)
Jian-Ya Ding et al.
—
Optimising Optimisers with Push GP
(2019)
Michael Lones
—
Learning the Markov Decision Process in the Sparse Gaussian Elimination
(2021)
Yingshi Chen
—
bsnsing: A decision tree induction method based on recursive optimal boolean rule composition
(2022)
Yanchao Liu
—
Learning optimal objective values for MILP
(2024)
Lara Scavuzzo et al.
—