Lists (1)
Stars
A TypeScript SSE proxy for MCP servers that use stdio transport.
[EMNLP'23, ACL'24] To speed up LLMs' inference and enhance LLM's perceive of key information, compress the prompt and KV-Cache, which achieves up to 20x compression with minimal performance loss.
ThunderAI is a Thunderbird Addon that uses the capabilities of ChatGPT, Gemini or Ollama to enhance email management.
NeqLIPS: a powerful Olympiad-level inequality prover
The easiest way to run WireGuard VPN + Web-based Admin UI.
🍎APPL: A Prompt Programming Language. Seamlessly integrate LLMs with programs.
Let your Claude able to think
A Blender add-on to import models from google maps
Tutorials for making 3D-looking maps with Blender and QGIS
A project to map out the relations between different equational theories of Magmas.
Examples of Dependently-typed programs in Haskell
Formalization of Machine Learning Theory with Applications to Program Synthesis
Bug-free machine learning on stochastic computation graphs
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
[COLM 2024] A Survey on Deep Learning for Theorem Proving
[ICLR'23 Oral] Universal Few-shot Learning of Dense Prediction Tasks with Visual Token Matching
Helper toolkit for creating your own Lean 4 UserWidgets
Mac Mouse Fix - Make Your $10 Mouse Better Than an Apple Trackpad!
Code for paper "Model metamers reveal divergent invariances between biological and artificial neural networks." Feather et al. 2023