Optimization of ProVe main code:
- Improved processing speed by up to 10x (e.g., the KCL Wikidata item now takes 1 minute, compared to 6 minutes previously).
- Reduced error rate during processing.
- Enabled multiple processing — we can now run multiple ProVe workers to avoid long queues.
- Added more timestamp checkpoints throughout the process for detailed time complexity evaluation.
Database migration to a new schema (NoSQL):
- Migrated to a NoSQL database for enhanced robustness, reducing transaction errors.
- Updated the data model in the database for storage efficiency (it now requires less space to store ProVe results).
- The legacy database is still operational (users can still access old data, but some APIs need to be updated. I’ll address this soon).