Title: Correct-by-Construction Program Synthesis using Type Theory and Evolutionary Computation Speaker: Alcides Fonseca (LASIGE/FCUL) Date: October, 11th, 14h30 Where: FCUL, 6.3.37 Abstract: Program Synthesis (PS) consists in automatically deriving a program from a...
LASIGE researchers Rita Sousa, Sara Silva, and Catia Pesquita have published a study in Computers for Biology and Medicine, a top 10% journal, introducing KGsim2vec, a method that enhances the explainability of AI models for protein–protein interaction prediction....
RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Leveraging LLMs to Improve Static Analysis Outputs...
