individual
Other
| BlueDot Impact | $6,000 | 100% | 1 |
| Date ↓ | Funder | Via | Amount | Cause | Source | Purpose |
|---|---|---|---|---|---|---|
| Sep 2026 | BlueDot Impact | $6,000 | Other | bluedot | Does fine-tuning models to excel at generating formal specifications alongside code result in models that are more capable in terms of being able to install backdoors into code |