Sort by
Refine Your Search
-
framework that connects to a Large Language Model (LLM). Implement basic game logic, dialogue, and user interaction. Work with Dr. Patnaik's research team to evaluate the game. Required Qualifications
Searches related to model checking
Enter an email to receive alerts for model-checking positions