2024 02 09 aia24
Two of our extended abstracts User-Aligned Autonomous Capability Assessment of Black-Box AI Systems and Can LLMs translate SATisfactorily? Assessing LLMs in Generating and Interpreting Formal Specifications have been accepted at AAAI 2024 Spring Symposium on User-Aligned Assessment of Adaptive AI Systems.