Freer, Cameron
- On computable learning of continuous features
2021/11/24 by Ackerman, Nathanael, Asilis, Julian, Di, Jieqi +2 · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
2024/12/19 by Simon Frieder, Frieder, Simon, Jonas Bayer +27 · 2 citations
Computer Science · #Numerical Methods and Algorithms #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation