arXiv / html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
☆18Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for html_feedback
- Repository for the view as html feature☆19Updated 4 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 4 months ago
- Schedule free optimiser implemented in JAX using Optimistix☆14Updated 5 months ago
- A math animation engine based on geometric algebra☆19Updated last week
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆57Updated 8 months ago
- PEP 503 repository index for jax[cuda]☆22Updated this week
- Repository for "Toward Artificial Open-Ended Evolution within Lenia using Quality-Diversity" (ALIFE 2024).☆15Updated 4 months ago
- A simple hypernetwork implementation in jax using haiku.☆23Updated 2 years ago
- Gradient-based constrained optimization for JAX☆26Updated 2 years ago
- Explorations into the proposed Streaming Deep Reinforcement Learning, from University of Alberta☆13Updated last week
- ☆58Updated 2 years ago
- A list of paper templates in the area of machine learning.☆110Updated last month
- Fast singularity detection with kernel☆33Updated 10 months ago
- A Python package of computer vision models for the Equinox ecosystem.☆102Updated 4 months ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 2 years ago
- Checkpointable dataset utilities for foundation model training☆32Updated 9 months ago
- A Discord bot for the Robert Miles AI server☆38Updated last month
- Implementation of a holodeck, written in Pytorch☆17Updated last year
- Run PyTorch in JAX. 🤝☆201Updated this week
- ☆18Updated 7 months ago
- Running Jax in PyTorch Lightning☆82Updated 2 weeks ago
- ☆15Updated 9 months ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Python Research Framework☆107Updated 2 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- Formalizing stochastic doubly-efficient debate☆93Updated last month
- Wraps PyTorch code in a JIT-compatible way for JAX. Supports automatically defining gradients for reverse-mode AutoDiff.☆39Updated last week
- Exploration into the Firefly algorithm in Pytorch☆35Updated 2 months ago