FirstResearch: Auditable Question Formation for LLM Scientific Discovery Agents
These results are preliminary and use LLM judges rather than human domain experts, but they support a narrow scientific-discovery claim: explicit derivation constraints are a promising mechanism for making LLM-generated scientific questions more auditable.