Reports on an AI model solving a discrete geometry conjecture - verifiable research claim with specific, testable outcome. Relevant to LLM capabilities.
Post about learnings from large-scale Rust development with AI assistance is relevant technical content for AI/LLM workflows and integration.
Tutorial about TLA+ for formal verification in LLM era, tangentially relevant to LLM development practices
Technical research on formal verification gates for AI coding systems. Actionable technical content relevant to safe LLM code generation.
Practical application of AI agents for testing distributed systems - actionable technical use case relevant to LLM capabilities and testing.
Research project with published paper, code, and model on GitHub. Verifiable multimodal AI work with full transparency on training approach and parameters.
News article about datasets used in ML model training for clinical applications. Related to AI/ML research and model quality issues.