Colloquia Announcements

 

CSC410, CSC411, CSC412 Presentations:

Name

Course

Supervisor

Date

Time

Topic

Zoom Link

Patel,Misha

CSC 410

Geoff Sutcliffe

1-Dec

3:30 PM

Budget Planner App for College Students

https://miami.zoom.us/j/93270437876?pwd=ejFsNkpwaTU2ZE56cWVHcUVNRGxZZz09&from=addon

Chen,Zipei

CSC 411

Liang Liang

2-Dec

4:15 PM

YOLO Mask Project - Facial Mask Detector

https://miami.zoom.us/j/96937746058?pwd=MGdqNEN6NkZqaU13R240MTdNU0xHUT09&from=addon

Guo,Zhenyang

CSC 410

Lokesh Ramamoorthi

2-Dec

5:00 PM

Artica - An app to share summary of articles/research content as a video

https://miami.zoom.us/j/99477679336?pwd=elBZR0pTRVNkMEZWMVBiK25hNG1mZz09&from=addon

Traub,Haley

CSC 412

Victor Milenkovic

3-Dec

2:30 PM

Castaway Technologies - Hardware Technician Project

https://miami.zoom.us/j/92362505434?pwd=dVlYdEpmMVlxWXRzUkxLTHlIMWkwQT09&from=addon

Cabrera,Ivan Elias

CSC 411

Lokesh Ramamoorthi

6-Dec

3:45 PM

Browser Plugin for Single Sign On Security

https://miami.zoom.us/j/96892128430?pwd=UlpRTjNUNkNtS3dmOThxNXY4dCttdz09&from=addon

Pandya,Shirley

CSC 410

Odelia Schwartz

6-Dec

4:30 PM

Research - Neuroscience and DNNs

https://miami.zoom.us/j/95131465740?pwd=b0VvYjhSNnRnSloyMzA2bW1pRnhuZz09&from=addon

Rong,Yi

CSC 410

Lokesh Ramamoorthi

6-Dec

5:30 PM

Happy Fitting - A Fitness and Calories Tracker App

https://miami.zoom.us/j/94872788552?pwd=clkzdDdZMGZLMk84bXFmN014NzRMUT09&from=addon

Rossi,Matthew August

CSC 412

Sarfaraz Amin, Chris Mader

7-Dec

12:00 PM

NLP project at IDSC (University of Miami)

https://miami.zoom.us/j/94225328605?pwd=bWR5QzdOUlZkUWhTOE9hUlg0RnhNUT09&from=addon

Tracy,Matilda Lenore

CSC 412

Victor Milenkovic

7-Dec

2:30 PM

Bottomline Technologies - NLP Classification for Customer Support

https://miami.zoom.us/j/92252385672?pwd=T1FTZG0xUjAxWm4wcVFWQy9WUkJ0Zz09&from=addon

Misra,Arjun Arun

CSC 410

Lokesh Ramamoorthi

7-Dec

3:00 PM

Text Generator and Analyzer

https://miami.zoom.us/j/97178544030?pwd=UFYrRlV4TmZPN3ZzaSsvcU1oSExmUT09&from=addon

Flores-Mattson,Elhma

CSC 412

Stefan Wuchty

7-Dec

4:00 PM

Reliability Engineering - Ultimate Kronos Group Internship

https://miami.zoom.us/j/91029318260?pwd=aGYyaG1KOC9FTmVxRGtLdHRlWDIvZz09&from=addon

Pierson,Ross L

CSC 411

Lokesh Ramamoorthi

7-Dec

4:30 PM

American Sign Language (ASL) Interpreter

https://miami.zoom.us/j/92354485911?pwd=MUNZcEFPaEpWUGw4ekZHZlhLV3Rsdz09&from=addon

Attuah,Isaac Kofi Ahema

CSC 411

Nelson Dellis

7-Dec

5:00 PM

Tukwan - Educational and Quizzing App

https://miami.zoom.us/j/96998722370?pwd=bDFPdzdUZ3dZVXVPVDEwZkNYckhaZz09&from=addon


 


Wednesday, Nov 3rd, 2021

9:00am, Ungar UB330G, Zoom Link: https://miami.zoom.us/j/92648054478

Mr. Jack McKeown

will present his Masters Defense

Clause Representation for Proof Guidance using Neural Networks

 

Abstract:

Automated Theorem Proving (ATP) is a subfield of automated reasoning wherein a conjecture is formally proved from axioms using computational methods. ATP benefits greatly from heuristics that estimate which inferences, during a proof attempt, are most relevant for finding a proof. Machine learning has enjoyed great success in recent years, and is well suited for mining heuristics from data. Having good representations of logical formulae is a very important prerequisite to using machine learning for finding useful heuristics for ATP. This thesis explores some approaches to representing logical formulae as rooted ordered labeled directed acyclic graphs, as well as finding embeddings of these logical formulae graphs as vectors. Vector embeddings serve as an ideal representation of logical formulae for processing in machine learning models such as neural networks.