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
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Spaces:
ProCreations
/
repro-formal-problem-solving
Running

App Files Files Community
repro-formal-problem-solving / pages
17.4 kB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 6 commits
ProCreations's picture
ProCreations
Lead claim 5 with substantive benchmark margins
a8c5bdb 4 days ago
  • claim-0-current-anchored-claim-map
    Repair claim 5 with native benchmark execution 4 days ago
  • claim-1-wave-induced-rotary-encodings-wire-rotate-tokens-based-on-the-graph-laplacian-spectrum-to-inject-structural-information-into-attention
    Map exact current anchored claims to existing independent evidence 14 days ago
  • claim-2-wire-recovers-regular-rope-on-grids-and-depends-asymptotically-on-the-graph-effective-resistance
    Map exact current anchored claims to existing independent evidence 14 days ago
  • claim-3-wire-is-compatible-with-linear-attention-unlike-bias-based-relative-position-encodings
    Map exact current anchored claims to existing independent evidence 14 days ago
  • claim-5-experimental-benchmark-improvements
    Lead claim 5 with substantive benchmark margins 4 days ago
  • conclusion
    Map exact current anchored claims to existing independent evidence 14 days ago
  • executive-summary
    Map exact current anchored claims to existing independent evidence 14 days ago
  • index.md
    1.24 kB
    Repair claim 5 with native benchmark execution 4 days ago