Projects available at Swansea University
Filters
| Id | Title | Description | Author |
|---|---|---|---|
| AW7792 | Theorem Proving in the Legal Domain using LLMs and Rocq-elpi | Since the 1980s, encoding natural language express... | Adam Wyner |
| 7029 | Tracking and predicting storms using AI and Remote sensing | Extreme storms are a major cause of many catastrop... | Yunqing Xuan |
| AW7788 | Using an LLM to Create a Knowledge Graph for UK Legislation - in collaboration with The National Archives | Aim Augment the existing legislative data with fi... | Adam Wyner |
| AGS65 | Verified Applications for Prescribing Medication in Healthcare | This project is based on a sequence of articles wr... | ANTON Setzer |
| AGS64 | Verifying User Interfaces using SPARK Ada | The programming language SPARK Ada (https://en.wik... | ANTON Setzer |
| AGS7382 | Zero Knowledge Proofs in Cryptocurrencies | In blockchain systems, all data is public. Althoug... | ANTON Setzer |