|
KLT7294
|
Deep Learning, Machine Learning, Vision Application, NLP (ZI)
|
This is a placeholder for a project that broadly c... |
Gary Tam
|
|
BM7048
|
Determining (abnormal) patterns in blood sample and Genetic datasets
|
We are looking for highly motivated research stude... |
Benjamin Mora
|
|
KLT7293
|
Do current state-of-the-art generative models understand gaze? (ZI)
|
This project aims to explore the potential of gene... |
Gary Tam
|
|
BM7132
|
Efficient Compression of Large Language Model Layers for Faster Inference
|
This project will explore techniques to compress t... |
Benjamin Mora
|
|
HGE5415
|
Enhancing Cell Segmentation in human cellular Using Weak Learning Techniques
|
This project aims to develop and apply weak learni... |
Hassan Eshkiki
|
|
XGC5425
|
Explainable AI
|
Improve explain-ability of AI applications |
xiaochun Cheng
|
|
XGC5411
|
Explainable AI for Mathematical Modeling
|
Integrate qualitative and quantitative AI computin... |
xiaochun Cheng
|
|
RMB7052
|
Exploring Cardio-respiratory data obtained from Physical Exercise in patients with type 1 diabetes
|
Project Summary
Low cardiorespiratory fitness (CR... |
Richard Bracken
|
|
AGS7381
|
Exploring Energy-Saving Alternatives to Cryptocurrency Mining
|
The traditional method for ensuring all nodes in a... |
Anton Setzer
|
|
XGC7102
|
Finance Fraud
|
Research Finance Fraud and interventions. Latest A... |
xiaochun Cheng
|
|
XGC7074
|
Finance Fraud Detection
|
To research AI solutions for fighting Finance Frau... |
xiaochun Cheng
|
|
MT6330
|
Formally Verified Bulletproof in Coq, Lean, or Dafny
|
Bulletproof [1, 2] is a zero-knowledge proof that... |
Mukesh Tiwari
|
|
MT6329
|
Formally Verified Elliptic Curve Cryptography Curve25519 in Dafny, Coq, or Lean
|
Curve25519 is a very popular elliptic curve for pu... |
Mukesh Tiwari
|
|
MT6327
|
Formally Verified Instant-runoff Voting in Coq, Lean, or Dafny
|
Instant-runoff voting (IRV) is used around the wor... |
Mukesh Tiwari
|
|
MT6461
|
Formally verified Pasta curves (Pallas and Vesta) in Coq, Lean, or Dafny
|
Pasta curve is extensively used in Zk-SNARK, speci... |
Mukesh Tiwari
|
|
MT6328
|
Formally Verified Single Transferable Vote in Coq, Lean, or Dafny
|
Single Transferable Voting (STV) [1, 3] is used ar... |
Mukesh Tiwari
|
|
XGC5428
|
Healthcare Data Analysis / Medical Data Analysis
|
AI computing such as machine learning, deep learni... |
xiaochun Cheng
|
|
AGS7380
|
Increasing Cryptocurrency Transaction Throughput Using Layer-2 Blockchain Technologies
|
Blockchain blocks are typically small in size, whi... |
Anton Setzer
|
|
XGC4731
|
Intelligence Analysis
|
Using AI for data analysis |
xiaochun Cheng
|
|
DNC4060
|
Intelligent Harvesting: Deploying AI-Driven Robotic Systems for Advanced Product Recognition and Manipulation in Agriculture
|
This project focuses on revolutionizing the agricu... |
Daniele Cafolla
|
|
MJR7034
|
Investigating the effect of multiple agents on combined decisions
|
This project will explore how the process of combi... |
Matt Roach
|
|
MJR7033
|
Investigating Trust and Reliance Dynamics in AI-Human Collaborative Decision-Making Systems
|
This project aims to explore the factors influenci... |
Matt Roach
|
|
AW951
|
Large Language Models for Access to Justice
|
Legal services address matters that are highly rel... |
Adam Wyner
|
|
AW110
|
Large Language Models, the Bar Exam, and Representing Legal Knowledge
|
In the US, to become a lawyer, a Bar Exam must be... |
Adam Wyner
|
|
MT5454
|
Mix-network for voting
|
Mix-networks are widely used in electronic voting... |
Mukesh Tiwari
|