google-research / r_u_sure

Related projects: ⓘ

• huggingface / gaia
  Hugging Face and Pyserini interoperability
  ☆17Updated last year
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆12Updated 5 months ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆31Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆30Updated 3 years ago
• srush / drop7
  ☆18Updated 5 months ago
• pajju / IncPy
  IncPy: An auto-memoizing Python interpreter that enables incremental recomputation
  ☆18Updated 13 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆31Updated 3 years ago
• rbavishi / autopandas
  OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
  ☆30Updated last year
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆30Updated 4 months ago
• dottxt-ai / benchmarks
  Benchmark structured generation libraries
  ☆15Updated last week
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆39Updated 2 months ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆60Updated 3 months ago
• code4me-me / code4me
  Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…
  ☆54Updated 5 months ago
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆15Updated 11 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆95Updated 9 months ago
• google-research / crossbeam
  ☆41Updated last year
• huggingface / roots-search-tool
  Scripts supporting the development and serving the Roots Search Tool - https://hf.co/spaces/bigscience-data/roots-search
  ☆10Updated last year
• wattenberg / superposition
  Code associated to papers on superposition (in ML interpretability)
  ☆21Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆10Updated 3 years ago
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆31Updated last month
• allenai / cached_path
  A file utility for accessing both local and remote files through a unified interface.
  ☆36Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆48Updated last month
• nyu-mll / ILF-for-code-generation
  ☆73Updated last year
• google-research / runtime-error-prediction
  This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…
  ☆25Updated last year
• facebookresearch / coocmap
  code for paper "Accessing higher dimensions for unsupervised word translation"
  ☆19Updated last year
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆16Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆34Updated last year
• ethz-spylab / superhuman-ai-consistency
  ☆27Updated last year
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆15Updated 11 months ago