Term Rewriting, E-graphs, Optimization, Equational Reasoning
Discretizing and quantizing neural nets
danmackinlay.nameยท2d
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.comยท4d
Torchvista: Building an Interactive Pytorch Visualization Package for Notebooks
towardsdatascience.comยท4d
ChatGPT and reasoning model expert becomes Chief Scientist at Metaโs Superintelligence Labs
the-decoder.comยท1d
PyCon Portugal 2025 talks mafia
mathspp.comยท10h
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.orgยท3d
ChatGPT and beam bending redux
leancrew.comยท2d
A Blueprint for Implementing RAG at Scale
thenewstack.ioยท5d
Loading...Loading more...