LUP Statistics
Record
- Title
- Formal Local Implication Between Two Neural Networks
- Type
- Conference Proceeding/Paper
- Publ. year
- 2025
- Author/s
- Baninajjar, Anahita; Rezine, Ahmed; Aminifar, Amir
- Department/s
- LTH Profile Area: Engineering Health; Secure and Networked Systems; ELLIIT: the Linköping-Lund initiative on IT and mobile communication; NEXTG2COM – a Vinnova Competence Centre in Advanced Digitalisation; LTH Profile Area: Water; LU Profile Area: Natural and Artificial Cognition; LTH Profile Area: AI and Digitalization
- In LUP since
- 2025-09-04
Downloads
| Total | This Year | This Month |
| 28 | 3 | 0 |
Sweden ![]() |
10 (36%) |
Italy ![]() |
3 (11%) |
United States of America ![]() |
3 (11%) |
Finland ![]() |
2 (7%) |
China ![]() |
2 (7%) |
Denmark ![]() |
2 (7%) |
South Korea ![]() |
1 (4%) |
Saudi Arabia ![]() |
1 (4%) |
Australia ![]() |
1 (4%) |
Norway ![]() |
1 (4%) |
Unknown ![]() |
1 (4%) |
Iran ![]() |
1 (4%) |











