GwenaelleLeon
Follow
Stars
Lean theorem proving interface which feels like pen-and-paper proofs.
Natural language tactics to teach mathematics using Lean 4
plasTeX plugin to build formalization blueprints.
Very controlled natural language tactics for Lean
Readings on computational logic, interactive theorem proving and functional programming.
Scripts to extract text from the bulk data downloaded from arXiv
Test your prompts, agents, and RAGs. Redteaming, pentesting, vulnerability scanning for LLMs. Improve your app's quality and catch problems. Compare performance of GPT, Claude, Gemini, Llama, and m…
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models
NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
[COLM 2024] A Survey on Deep Learning for Theorem Proving
Tool for data extraction and interacting with Lean programmatically.
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
The official repository for the paper Multilingual Mathematical Autoformalization
Tutorial on neural theorem proving
Benchmark for undergraduate-level formal mathematics
This project extracts monthly trip data from amazon S3 buckets, and loads them into a SQL database. The 112 million trips are aggregated to create a Tableau story on bicycle longevity.
Here you will find materials for the course of Computational Finance
Stuff for the Text Mining course
Stable Diffusion web UI