Giorgian Borca-Tasciuc

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Neural Network Model

Multi Layer Perceptron

Formal Verification

Bipartite Graph

Top Venues

ICLP Technical Communications / Doctoral Consortium

Publications

Tingting Xuan, Yimin Zhu, Giorgian Borca-Tasciuc, Ming Xiong Liu, Yu Sun, Cameron Dean, Yasser Corrales Morales, Zhaozhong Shi, Dantong Yu
End-to-End Pipeline for Trigger Detection on Hit and Track Graphs. AAAI (2023)
Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena
Provable Fairness for Neural Network Models Using Formal Verification. EWAF (2023)
Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena
Provable Fairness for Neural Network Models using Formal Verification. CoRR (2022)
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium (2022)
Tingting Xuan, Giorgian Borca-Tasciuc, Yimin Zhu, Yu Sun, Cameron Dean, Zhaozhong Shi, Dantong Yu
Trigger Detection for the sPHENIX Experiment via Bipartite Graph Networks with Set Transformer. ECML/PKDD (3) (2022)