lnhutnam
Follow
Lists (1)
Starred repositories
When it comes to optimizers, it's always better to be safe than sorry
Official repository for the paper "Feudal Graph Reinforcement Learning"
Distributionally robust machine learning with Pytorch and Scikit-learn wrappers
For optimization algorithm research and development.
Awesome resources for learning control theory
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Semidefinite programming optimization solver
A Python-embedded modeling language for convex optimization problems.
Lean 4 programming language and theorem prover
LaTeX source for my PhD thesis Convolutional Conditional Neural Processes
X-KANeRF [KANeRF-benchmarking]: KAN based NeRF with various basis functions like B-Splines, Fourier, Gaussians, Wavelets, Polynomials, etc
[COLM 2024] A Survey on Deep Learning for Theorem Proving
The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected
Physics-Informed Neural Networks (PINN) Solvers of (Partial) Differential Equations for Scientific Machine Learning (SciML) accelerated simulation
A tiling window manager based on binary space partitioning
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Rough experiments on using Kolmogorov-Arnold Networks (KANs) as the replacement layers in a latent dynamics function, e.g. as the layers of a neural ODE.
[NeurIPS'24] Knowledge Graph Fine-Tuning with Open-World Knowledge
NYU Course Notes & Resources
llama3.cuda is a pure C/CUDA implementation for Llama 3 model.
Tutorials, datasets, and other material associated with textbook "A First Course in Network Science" by Menczer, Fortunato & Davis
