Implementation for "Mathematical discoveries from program search with large language models".
☆39Apr 25, 2024Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [KDD 2023] code for "Test accuracy vs. generalization gap: model selection in NLP without accessing training or testing data" https://arx…☆12Oct 17, 2022Updated 3 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- Scaling Sparse Fine-Tuning to Large Language Models☆19Jan 31, 2024Updated 2 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆13Jul 1, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Oct 21, 2020Updated 5 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 7 years ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 5 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆14Nov 18, 2022Updated 3 years ago
- Prolog specification of TensorFlow layers☆14Jun 12, 2023Updated 2 years ago
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 7 years ago
- ☆14Nov 11, 2019Updated 6 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- A Rocq version of the miniF2F dataset☆23Apr 8, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- Welcome to the 'In Context Learning Theory' Reading Group☆30Nov 8, 2024Updated last year
- [NeurIPS 2023 Spotlight] Temperature Balancing, Layer-wise Weight Analysis, and Neural Network Training☆36Apr 7, 2025Updated last year
- A Haskell probabilistic programming library.☆21Mar 28, 2026Updated 2 weeks ago
- Book reading☆16Jun 5, 2020Updated 5 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- ☆19Jul 19, 2018Updated 7 years ago
- Proof assistant for qRHL☆22Mar 9, 2026Updated last month
- Deductive verification infrastructure for probabilistic programs☆28Mar 31, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Just a proof of concept Linux rootkit that reads from syscalls.☆24Jun 22, 2018Updated 7 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆24Aug 15, 2023Updated 2 years ago
- Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…☆27Mar 17, 2019Updated 7 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- CS294-162; Machine Learning Systems Seminar☆32Apr 11, 2023Updated 3 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆38Apr 9, 2026Updated last week
- ☆43Apr 8, 2026Updated last week
- Code for the paper: Why Transformers Need Adam: A Hessian Perspective☆65Mar 11, 2025Updated last year
- ☆37Mar 20, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆44Oct 27, 2025Updated 5 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆49Aug 27, 2025Updated 7 months ago
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆79Jun 16, 2024Updated last year
- ☆29May 12, 2019Updated 6 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 4 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆61Mar 25, 2026Updated 3 weeks ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆62Jan 11, 2026Updated 3 months ago