Concepedia

Jingyue Lu

JL

Statistics

Publications

2

Citations

56

H-Index

2

Active since

2019

Affiliations

University of Oxford(Current)

Jingyue Lu is an author at University of Oxford specializing in deep learning, computer engineering, and automated reasoning.

Top concepts

EngineeringVerificationDeep LearningComputer ScienceMachine LearningAutomated ReasoningFormal VerificationComputer EngineeringData ScienceRobot Learning

Publications per year

2019–2020

2

Publications

2

Branch and Bound for Piecewise Linear Neural Network Verification

Rudy Bunel, Jingyue Lu, Ilker Turkaslan et al. · arXiv (Cornell University) · 2019 · 41 citations · Full text

Mathematical Programming, Model Optimization, Convolutional Neural Network +14

Neural Network Branching for Neural Network Verification

Jingyue Lu, Manish Kumar · International Conference on Learning Representations · 2020 · 15 citations

Artificial Intelligence, Convolutional Neural Network, Engineering +17

1–2 of 2