Sort by
Refine Your Search
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency
-
collaborate with the QuaTrEx developers. Job description As part of the MALOQ project, you will train state-of-the-art ML models to learn atomic, electronic, and vibrational properties of large-scale atomic
-
. We are assembling a team with diverse expertise and particularly encourage individuals with skill sets in at least two of the following areas to apply: demographic modeling, large language models
-
: Project A – Synthetic Data for Theory-Driven Behavioral Research This project investigates how large language models (LLMs) produce synthetic responses to psychological experiments and how these compare
-
of the following projects: Project A – Synthetic Data for Theory-Driven Behavioral Research This project investigates how large language models (LLMs) produce synthetic responses to psychological experiments and how