google-research / r_u_sure
Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"
☆19Updated 2 weeks ago
Alternatives and similar repositories for r_u_sure:
Users that are interested in r_u_sure are comparing it to the libraries listed below
- Heavyweight Python dynamic analysis framework☆13Updated 10 months ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆55Updated 11 months ago
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- egraphs-good website☆15Updated 4 months ago
- 🔍 Code Search Tools & Experiments☆12Updated 2 weeks ago
- General-purpose program synthesiser☆42Updated 4 months ago
- Efficiently computing & storing token n-grams from large corpora☆18Updated 5 months ago
- Tutorial on how to convert machine learned models into ONNX☆16Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- ☆18Updated 10 months ago
- Python tools for the K Framework☆13Updated 10 months ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆34Updated 6 months ago
- A library for simplifying fine tuning with multi gpu setups in the Huggingface ecosystem.☆16Updated 4 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆63Updated last year
- Simple Model Similarities Analysis☆21Updated last year
- ☆16Updated 10 months ago
- A summary of ideas about transpilation -- work in progress☆19Updated last year
- One stop shop for all things carp☆59Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆31Updated 4 years ago
- ☆14Updated last year
- Evaluate Transformers from the Hub 🔥☆13Updated last year
- ☆22Updated 2 weeks ago
- A fork of llama3.c used to do some R&D on inferencing☆19Updated 2 months ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 3 years ago
- IncPy: An auto-memoizing Python interpreter that enables incremental recomputation☆19Updated 14 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year