Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

The introspector project

community
https://github.com/meta-introspector/meta-meme/wiki/
introsp3ctor
meta-introspector
Activity Feed Request to join this org

AI & ML interests

introspection, Compilers, Languages, meaning

Recent Activity

h4  published a dataset about 14 hours ago
introspector/gcc-introspector
h4  updated a dataset 19 days ago
introspector/retro-sync
h4  updated a Space 21 days ago
introspector/retro-sync-server
View all activity

j mike d's profile pictureJoseph [open/acc] Pollack's profile pictureBrian's profile pictureMuhammad Umar Nawaz's profile pictureMark's profile pictureDongwook Chang's profile pictureaw jeez's profile pictureBartlee Anderson's profile pictureLoyce Schoen's profile pictureNot Lain's profile picture

introspector 's datasets 64

introspector/meta-coq-template-coq

Updated Feb 12, 2024 • 3

introspector/unimath

Updated Feb 12, 2024 • 630 • 7

introspector/papers

Viewer • Updated Feb 5, 2024 • 4 • 24 • 1

introspector/llama.cpp-0002

Viewer • Updated Nov 17, 2023 • 43 • 3 • 1
  • Previous
  • 1
  • 2
  • 3
  • Next
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs