Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
Quinn Dougherty's picture
18 3

Quinn Dougherty

quinn-dougherty
SofiaLanfri's profile picture
·
https://for-all.dev
  • qd_forall
  • quinn-dougherty
  • quinn-dougherty

AI & ML interests

None yet

Recent Activity

authored a paper 2 days ago
FVSpec: Real-World Property-Based Tests as Lean Challenges
updated a Space 3 days ago
for-all-dev/README
published a Space 3 days ago
for-all-dev/README
View all activity

Organizations

Beneficial AI Foundation's profile picture Galois Inc's profile picture Forall R&D's profile picture

Papers 3

arxiv:2606.01008
arxiv:2509.22908
arxiv:2502.05714

models 0

None public yet

datasets 1

quinn-dougherty/fvapps

Viewer • Updated Feb 11, 2025 • 4.72k • 51 • 6
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs