Loading activity…
@yi_xin_dong
@thinkymachines & PhD Student @mldcmu. Prev @SpaceXAI. MLSys. Open source. Working hard to become a prompt engineer
AI
Its builders say KCoral schedules a shared GPU pool and returns correctness and timing results for agents’ code.
AI
The announcement says Structural Tags enforce tool argument schemas—the rules for inputs passed to tools—in DeepSeek’s native format.
