Initially I aimed to test with at least 10 formulas for each model for SAT/UNSAT, but it turned out to be more expensive than I expected, so I tested ~5 formulas for each case/model. First, I used the openrouter API to automate the process, but I experienced response stops in the middle due to long reasoning process, so I reverted to using the chat interface (I don't if this was a problem from the model provider or if it's an openrouter issue). For this reason I don't have standard outputs for each testing, but I linked to the output for each case I mentioned in results.
当前，莱芒生物的慢病毒路径体内CAR-T管线“动物实验结果良好，且重现了血液肿瘤适应症中的低剂量、高效扩增现象”，预计在今年上半年启动IIT临床申报。
。PDF资料是该领域的重要参考
（一）设立专门机构或者指定专门人员直接负责网络犯罪防治工作，网络运营者负责人为第一责任人；
[&:first-child]:overflow-hidden [&:first-child]:max-h-full"
Extending settlement waits risks deepening labour shortages while misreading public concern about migration’s economic and demographic realities